-
1 условная импликация
Большой англо-русский и русско-английский словарь > условная импликация
-
2 conditional implication
Большой англо-русский и русско-английский словарь > conditional implication
-
3 conditional implication
English-Russian dictionary of computer science and programming > conditional implication
-
4 conditional implication
English-Russian information technology > conditional implication
-
5 conditional implication
Англо-русский словарь по исследованиям и ноу-хау > conditional implication
-
6 conditional implication
-
7 material implication
-
8 conditional implication
условная импликация
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > conditional implication
-
9 biconditional implication
равнозначность; двусторонняя импликация -
10 formal implication
-
11 strict implication
The English-Russian dictionary general scientific > strict implication
-
12 strict implication
-
13 conditional implication
Вычислительная техника: условная импликацияУниверсальный англо-русский словарь > conditional implication
-
14 conditional implication
мат.English-Russian scientific dictionary > conditional implication
-
15 conditional
импликация; условная зависимость; условный; условный операторEnglish-Russian dictionary of computer science > conditional
-
16 conditional
условная зависимость
импликация
условное выражение
условный
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > conditional
-
17 implication
[ˌɪmplɪ'keɪʃ(ə)n]1) Общая лексика: вовлечение, впутывание, вывод, замешанность, значение, импликация, нечто подразумеваемое, подразумеваемое, подтекст, причастность, скрытый смысл, смысл, со-участие, соучастие, сущность, то, что подразумевается, участие2) Компьютерная техника: следствие3) Медицина: роль4) Техника: значение (подразумеваемый смысл)5) Математика: двойная стрелка, подразумеваемое утверждение (невысказанное)6) Юридический термин: вывод, сделанный в порядке логического рассуждения, подразумеваемое положение, подразумеваемое условие, положение, выведенное в порядке логического рассуждения, соучастие (в преступлении и т. п.), соучастие (в преступлении и т.п.)7) Бухгалтерия: предпосылка, условие8) Лингвистика: условная связь, глубинный смысл9) Дипломатический термин: соучастие (в преступлении, заговоре и т.п.)10) Психология: условное высказывание или его формализованный аналог11) Вычислительная техника: включение12) Реклама: намёк13) юр.Н.П. косвенное указание14) Макаров: заключение, невысказанное утверждение, последствие, импликация (как логическая операция), импликация (логическая операция), смысл (скрытый) -
18 biconditional
1. двусторонняя условная зависимость; двусторонняя импликация; равнозначностьbiconditional implication — равнозначность; двусторонняя импликация
2. равнозначность; равнозначныйbiconditional gate — схема функции эквивалентности; схема функции равнозначности
-
19 conditional
[kən'dɪʃ(ə)nəl]1) Общая лексика: обусловленный, условное высказывание2) Техника: условный оператор3) Грамматика: условный, условный союз4) Математика: условное предложение5) Юридический термин: зависящий (от чего-л.), зависящий от (чего-л.), имеющий силу при условии (чего-л.), обусловленный (чем-л.)6) Лингвистика: кондициональный, кондиционалис (mood), условное наклонение (mood)7) Вычислительная техника: импликация, условная зависимость, условное выражение, (programming) условная инструкция (элемент компьютерной программы, осуществляющий ветвление операций)8) Макаров: условный переход -
20 biconditional
Вычислительная техника: двусторонняя импликация, двусторонняя условная зависимость, равнозначность
- 1
- 2
См. также в других словарях:
условная импликация — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN conditional implication … Справочник технического переводчика
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
условная зависимость — импликация условное выражение условный — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы импликацияусловное выражениеусловный EN conditional … Справочник технического переводчика
МЕГАРСКАЯ ШКОЛА, мегарики — МЕГАРСКАЯ ШКОЛА, мегарики (οἱ Μεγαρικοί) (4 нач. 3 в. до н. э.), одна из сократических школ; основана Евклидом из Мегары. Принято выделять три этапа существования Мегарской школы, на основании свидетельства Диогена Лаэртия о том, что… … Античная философия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Парадокс импликации — Парадоксы импликации это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений обоснование одних утверждений ссылкой на другие. Содержание 1 Смысл импликации … Википедия
Логика — Гр … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия